Christian G. Fermüller: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Handbook of Automated Reasoning || Resolution Decision Procedures

Fermüller, Christian G.

Year:

2001

Language:

english

File:

PDF, 3.10 MB

english, 2001

2

Connecting fuzzy logic and argumentation frames via logical attack principles

Corsi, Esther Anna, Fermüller, Christian G.

Journal:

Soft Computing - A Fusion of Foundations, Methodologies and Applications

Year:

2018

Language:

english

File:

PDF, 538 KB

english, 2018

3

Removing redundancy from a clause

Georg Gottlob, Christian G. Fermüller

Journal:

Artificial Intelligence

Year:

1993

Language:

english

File:

PDF, 1.44 MB

english, 1993

4

From Games to Truth Functions: A Generalization of Giles’s Game

Fermüller, Christian G., Roschger, Christoph

Journal:

Year:

2014

Language:

english

File:

PDF, 293 KB

english, 2014

5

Giles’s Game and the Proof Theory of Łukasiewicz Logic

Christian G. Fermüller, George Metcalfe

Journal:

Year:

2009

Language:

english

File:

PDF, 453 KB

english, 2009

6

[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 6397 || Focused Natural Deduction

Fermüller, Christian G., Voronkov, Andrei

Year:

2010

Language:

english

File:

PDF, 224 KB

english, 2010

7

Labeled Calculi and Finite-Valued Logics

Matthias Baaz, Christian G. Fermüller, Gernot Salzer, Richard Zach

Journal:

Year:

1998

File:

PDF, 1.21 MB

1998

8

[IEEE 2014 IEEE 44th International Symposium on Multiple-Valued Logic (ISMVL) - Bremen, Germany (2014.5.19-2014.5.21)] 2014 IEEE 44th International Symposium on Multiple-Valued Logic - Semantic Games with Backtracking for Fuzzy Logics

Fermuller, Christian G.

Year:

2014

Language:

english

File:

PDF, 204 KB

english, 2014

9

Resolution-based Theorem Proving for Many-valued Logics

Matthias Baaz, Christian G. Fermüller

Journal:

Journal of Symbolic Computation

Year:

1995

File:

PDF, 1.20 MB

1995

10

Giles's Game and the Proof Theory of Łukasiewicz Logic

Christian G. Fermüller and George Metcalfe

Journal:

Year:

2009

Language:

english

File:

PDF, 3.32 MB

english, 2009

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски